AN Ω-LOGIC PRIMER JOAN BAGARIA, NEUS CASTELLS, AND PAUL LARSON Abstract. In [12], Hugh Woodin introduced Ω-logic, an approach to truth in the universe of sets inspired by recent work in large cardinals. Expository ac

Source URL: www.users.miamioh.edu

Jordan Journal of Mathematics and Statistics (JJMS) 7(2), 2014, ppRELATED MONOTONIC FUNCTIONS M. SASIREKHA Abstract. We continue the study of related sets introduced by Prof. Min and generalize some of his re

Source URL: journals.yu.edu.jo

• Large cardinals
• Weakly compact cardinal
• Cardinal number

An extended abstract of this paper is published in the proceedings of the 40th International Colloquium on Automata, Languages and Programming—ICALPThis is the full version. Outsourced Pattern Matching Sebastian

Source URL: www.eng.biu.ac.il

• Transmission Control Protocol
• NP
• Commitment scheme
• Large cardinals
• Mathematics
• Cryptography
• Applied mathematics
• IP

FALLENSTEIN’S MONSTER (BRIEF TECHNICAL NOTE) NATE SOARES This document is part of a collection of quick writeups of results from the December 2013 MIRI research workshop, written during or directly

Source URL: intelligence.org

• Set theory
• Cardinal number
• Ordinal number
• Constructible universe
• Inaccessible cardinal
• Function
• Model theory
• Order
• Symbol
• Mathematics
• Large cardinals
• Mathematical logic

EXCITATION OF VIRCATOR OSCILLATIONS

Source URL: vant.kipt.kharkov.ua

• Large cardinals
• Dimensionless quantity

Vlasov simulation of Langmuir solitons and high energy electron formation Y. Nishimura, Y.Chen, and C.Z.Cheng Institute of Space and Plasma Sciences National Cheng Kung University, Taiwan August, 2013

Source URL: www-jt60.naka.jaea.go.jp

• Mathematics
• Set theory
• Abstraction
• Weakly compact cardinal
• Science
• Large cardinals
• Landau damping
• Damping

Phase transitions as non-linear complementarity problems Andreas Lauser June 4, 2013

Source URL: www.opm-project.org

• Large cardinals
• Critical phenomena
• Phase transition
• Phase
• Equation of state
• Chemical equilibrium
• Thermodynamics
• Chemistry
• Chemical engineering
• Physics

Emotions as Heuristics for Rational Agents Bas R. Steunebrink Mehdi Dastani John-Jules Ch. Meyer

Source URL: www.cs.uu.nl

• Determinacy
• Large cardinals
• Affect
• Feeling

PDF Document

Source URL: www.arm.gov

Supporting Non-membership Proofs with Bilinear-map Accumulators Ivan Damg˚ard ∗ University of Aarhus Denmark

Source URL: eprint.iacr.org

• Set theory
• Boolean algebra
• Complete Boolean algebra
• Forcing
• Order theory
• Tree
• Mathematical logic
• Large cardinals
• Mathematics